maximum satisfiability problem造句
例句與造句
- MAX-2-SAT is NP-hard and it is a particular case of a maximum satisfiability problem.
- The NP-completeness of the problem can be shown, for example, by a transformation from maximum 2-satisfiability ( a restriction of the maximum satisfiability problem ).
- Another limitation of the approach is that it applies only to optimization problems and not to " pure " decision problems like satisfiability, although it is often possible to conceive optimization versions of such problems, such as the maximum satisfiability problem ( Max SAT ).
- It's difficult to find maximum satisfiability problem in a sentence. 用maximum satisfiability problem造句挺難的